Estimating entropy production with odd-parity state variables via machine learning

Odd-parity topological superconductor with nematic

Finite State Machine Binary Entropy Coding

A method of universal binary entropy coding using simple state machines is presented. We provide a natural rationale for the use of state machines. We discuss the building of state machines which produce uniquely decodable bit streams. Some state machines implement known codes, while others implement finite or even infinite variable length to variable length codes. Once a decodable state machin...

Diffractive meson production from virtual photons with odd charge - parity exchange 1

We calculate the cross section of diffractive charge-parity C = +1 neutral meson production in virtual photon proton collision at high energies. Due to the opposite C-parities of photon and meson M + (M + = η C , π 0 , a 2) this process probes the t-channel C = −1 odderon exchange which is described here as noninteracting three–gluon exchange. Estimates for the cross section of inelastic diffra...

Detection of Equivalent State Variables in Finite State Machine Verification

This paper proposes a new technique to detect equivalent state variables for finite state machine verification. The technique can easily be integrated with existing verification methods and significantly extends the ability of these methods to handle finite state machines (FSMs) with similar state encodings. This is of practical importance as it enlarges the class of FSMs for which verification...

Machine Learning with Memristors via Thermodynamic RAM

Thermodynamic RAM (kT-RAM) is a neuromemristive co-processor design based on the theory of AHaH Computing and implemented via CMOS and memristors. The co-processor is a 2-D array of differential memristor pairs (synapses) that can be selectively coupled together (neurons) via the digital bit addressing of the underlying CMOS RAM circuitry. The chip is designed to plug into existing digital comp...